How to represent Models, Languages and Transformations?
نویسنده
چکیده
One of the main goals of domain-specific languages is to enable the developer to define completely new languages for special domains in order to get the advantages of programming on a higher level of abstraction. Nowadays languages are represented in different ways: by metamodels specified in some data modelling technique or by formal grammars. This position paper examines the influence of the representation of languages on language construction and transformation.
منابع مشابه
Translation Validation for Transformations on Abstract Clocks in Synchronous Languages
Translation validation was introduced as a technique to formally verify the correctness of code generators that attempts to verify that program transformations preserve the semantics. In this work, we adopt this approach to formally verify that the clock semantics is preserved during the transformations of a synchronous data-flow compiler. We represent the clock semantics of a program and its t...
متن کاملAre functional languages a good way to represent productive meta–models ?
Following Model Driven Development guidelines, developers will define meta–models, models and then implement transformations between models. Existing tools based on models require highly specific skills and knowledge from developers, and use Domain Specific Language (Dsl) as the entry point for final users. Is it possible to describe Dsl–based meta–models using functional programming concepts a...
متن کاملThe Layer-Oriented Approach to Declarative Languages for Biological Modeling
We present a new approach to modeling languages for computational biology, which we call the layer-oriented approach. The approach stems from the observation that many diverse biological phenomena are described using a small set of mathematical formalisms (e.g. differential equations), while at the same time different domains and subdomains of computational biology require that models are struc...
متن کاملDevelopment of Transformations from Business Process Models to Implementations by Reuse1
This paper presents an approach for developing transformations from business process models to implementations that facilitates reuse. A transformation is developed as a composition of three smaller tasks: pattern recognition, pattern realization and activity transformation. The approach allows one to reuse the definition and implementation of pattern recognition and pattern realization in the ...
متن کاملAn MDA Approach Towards Integrating Formal and Informal Modeling Languages
The Model Driven Architecture (MDA) involves automated transformations between software models defined in different languages at different abstraction levels. This paper takes an MDA approach to integrate a formal modeling language (Object-Z) with an informal modeling language (UML) via model transformation. This paper shows how formal and informal modeling languages can be cooperatively used i...
متن کامل